Coalgebras and Approximation
نویسنده
چکیده
Motivated by a new approach in the categorical semantics of linear logic, we investigate some speciic categories of coalgebras. They all arise from the canonical comonad that one has on a category of algebras. We obtain a very simple model of linear logic where linear formulas are complete lattices and intuitionistic formulas are just sets. Also, in another, domain theoretic example, we give a new characterization of continuous posets (where every elemtent is join of elements way below) as coalgebras. And nally we describe a related example where categories in which every object is coproduct of indecomposables, are coalgebras. Approximation is the key ingredient of all these coalgebras.
منابع مشابه
On descent for coalgebras and type transformations
We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. Also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between co...
متن کاملCyclic Cohomology of Crossed Coproduct Coalgebras
We extend our work in [1] to the case of Hopf comodule coalgebras. We introduce the cocylindrical module C♮H, where H is a Hopf algebra with bijective antipode and C is a Hopf comodule coalgebra over H. We show that there exists an isomorphism between the cocyclic module of the crossed coproduct coalgebra C>◭H and ∆(C♮H), the cocyclic module related to the diagonal of C♮H. We approximate HC(C >...
متن کاملA simplification functor for coalgebras
For an arbitrary-type functor F, the notion of split coalgebras, that is, coalgebras for which the canonical projections onto the simple factor split, generalizes the well-known notion of simple coalgebras. In case F weakly preserves kernels, the passage from a coalgebra to its simple factor is functorial. This is the simplification functor. It is left adjoint to the inclusion of the subcategor...
متن کاملOn Quantum Algebras and Coalgebras, Oriented Quantum Algebras and Coalgebras, Invariants of 1–1 Tangles, Knots and Links
We outline a theory of quantum algebras and coalgebras and their resulting invariants of unoriented 1–1 tangles, knots and links, we outline a theory of oriented quantum algebras and coalgebras and their resulting invariants of oriented 1–1 tangles, knots and links, and we show how these algebras and coalgebras are related. Quasitriangular Hopf algebras are examples of quantum algebras and orie...
متن کامل